quotient of a language into another